begin_version
3.FOND
end_version
begin_metric
0
end_metric
298
begin_variable
var0
-1
100
Atom agent_position(r1)
Atom agent_position(r10)
Atom agent_position(r100)
Atom agent_position(r11)
Atom agent_position(r12)
Atom agent_position(r13)
Atom agent_position(r14)
Atom agent_position(r15)
Atom agent_position(r16)
Atom agent_position(r17)
Atom agent_position(r18)
Atom agent_position(r19)
Atom agent_position(r2)
Atom agent_position(r20)
Atom agent_position(r21)
Atom agent_position(r22)
Atom agent_position(r23)
Atom agent_position(r24)
Atom agent_position(r25)
Atom agent_position(r26)
Atom agent_position(r27)
Atom agent_position(r28)
Atom agent_position(r29)
Atom agent_position(r3)
Atom agent_position(r30)
Atom agent_position(r31)
Atom agent_position(r32)
Atom agent_position(r33)
Atom agent_position(r34)
Atom agent_position(r35)
Atom agent_position(r36)
Atom agent_position(r37)
Atom agent_position(r38)
Atom agent_position(r39)
Atom agent_position(r4)
Atom agent_position(r40)
Atom agent_position(r41)
Atom agent_position(r42)
Atom agent_position(r43)
Atom agent_position(r44)
Atom agent_position(r45)
Atom agent_position(r46)
Atom agent_position(r47)
Atom agent_position(r48)
Atom agent_position(r49)
Atom agent_position(r5)
Atom agent_position(r50)
Atom agent_position(r51)
Atom agent_position(r52)
Atom agent_position(r53)
Atom agent_position(r54)
Atom agent_position(r55)
Atom agent_position(r56)
Atom agent_position(r57)
Atom agent_position(r58)
Atom agent_position(r59)
Atom agent_position(r6)
Atom agent_position(r60)
Atom agent_position(r61)
Atom agent_position(r62)
Atom agent_position(r63)
Atom agent_position(r64)
Atom agent_position(r65)
Atom agent_position(r66)
Atom agent_position(r67)
Atom agent_position(r68)
Atom agent_position(r69)
Atom agent_position(r7)
Atom agent_position(r70)
Atom agent_position(r71)
Atom agent_position(r72)
Atom agent_position(r73)
Atom agent_position(r74)
Atom agent_position(r75)
Atom agent_position(r76)
Atom agent_position(r77)
Atom agent_position(r78)
Atom agent_position(r79)
Atom agent_position(r8)
Atom agent_position(r80)
Atom agent_position(r81)
Atom agent_position(r82)
Atom agent_position(r83)
Atom agent_position(r84)
Atom agent_position(r85)
Atom agent_position(r86)
Atom agent_position(r87)
Atom agent_position(r88)
Atom agent_position(r89)
Atom agent_position(r9)
Atom agent_position(r90)
Atom agent_position(r91)
Atom agent_position(r92)
Atom agent_position(r93)
Atom agent_position(r94)
Atom agent_position(r95)
Atom agent_position(r96)
Atom agent_position(r97)
Atom agent_position(r98)
Atom agent_position(r99)
end_variable
begin_variable
var1
-1
2
Atom door_unlocked(r1)
NegatedAtom door_unlocked(r1)
end_variable
begin_variable
var2
-1
2
Atom door_unlocked(r10)
NegatedAtom door_unlocked(r10)
end_variable
begin_variable
var3
-1
2
Atom door_unlocked(r11)
NegatedAtom door_unlocked(r11)
end_variable
begin_variable
var4
-1
2
Atom door_unlocked(r12)
NegatedAtom door_unlocked(r12)
end_variable
begin_variable
var5
-1
2
Atom door_unlocked(r13)
NegatedAtom door_unlocked(r13)
end_variable
begin_variable
var6
-1
2
Atom door_unlocked(r14)
NegatedAtom door_unlocked(r14)
end_variable
begin_variable
var7
-1
2
Atom door_unlocked(r15)
NegatedAtom door_unlocked(r15)
end_variable
begin_variable
var8
-1
2
Atom door_unlocked(r16)
NegatedAtom door_unlocked(r16)
end_variable
begin_variable
var9
-1
2
Atom door_unlocked(r17)
NegatedAtom door_unlocked(r17)
end_variable
begin_variable
var10
-1
2
Atom door_unlocked(r18)
NegatedAtom door_unlocked(r18)
end_variable
begin_variable
var11
-1
2
Atom door_unlocked(r19)
NegatedAtom door_unlocked(r19)
end_variable
begin_variable
var12
-1
2
Atom door_unlocked(r2)
NegatedAtom door_unlocked(r2)
end_variable
begin_variable
var13
-1
2
Atom door_unlocked(r20)
NegatedAtom door_unlocked(r20)
end_variable
begin_variable
var14
-1
2
Atom door_unlocked(r21)
NegatedAtom door_unlocked(r21)
end_variable
begin_variable
var15
-1
2
Atom door_unlocked(r22)
NegatedAtom door_unlocked(r22)
end_variable
begin_variable
var16
-1
2
Atom door_unlocked(r23)
NegatedAtom door_unlocked(r23)
end_variable
begin_variable
var17
-1
2
Atom door_unlocked(r24)
NegatedAtom door_unlocked(r24)
end_variable
begin_variable
var18
-1
2
Atom door_unlocked(r25)
NegatedAtom door_unlocked(r25)
end_variable
begin_variable
var19
-1
2
Atom door_unlocked(r26)
NegatedAtom door_unlocked(r26)
end_variable
begin_variable
var20
-1
2
Atom door_unlocked(r27)
NegatedAtom door_unlocked(r27)
end_variable
begin_variable
var21
-1
2
Atom door_unlocked(r28)
NegatedAtom door_unlocked(r28)
end_variable
begin_variable
var22
-1
2
Atom door_unlocked(r29)
NegatedAtom door_unlocked(r29)
end_variable
begin_variable
var23
-1
2
Atom door_unlocked(r3)
NegatedAtom door_unlocked(r3)
end_variable
begin_variable
var24
-1
2
Atom door_unlocked(r30)
NegatedAtom door_unlocked(r30)
end_variable
begin_variable
var25
-1
2
Atom door_unlocked(r31)
NegatedAtom door_unlocked(r31)
end_variable
begin_variable
var26
-1
2
Atom door_unlocked(r32)
NegatedAtom door_unlocked(r32)
end_variable
begin_variable
var27
-1
2
Atom door_unlocked(r33)
NegatedAtom door_unlocked(r33)
end_variable
begin_variable
var28
-1
2
Atom door_unlocked(r34)
NegatedAtom door_unlocked(r34)
end_variable
begin_variable
var29
-1
2
Atom door_unlocked(r35)
NegatedAtom door_unlocked(r35)
end_variable
begin_variable
var30
-1
2
Atom door_unlocked(r36)
NegatedAtom door_unlocked(r36)
end_variable
begin_variable
var31
-1
2
Atom door_unlocked(r37)
NegatedAtom door_unlocked(r37)
end_variable
begin_variable
var32
-1
2
Atom door_unlocked(r38)
NegatedAtom door_unlocked(r38)
end_variable
begin_variable
var33
-1
2
Atom door_unlocked(r39)
NegatedAtom door_unlocked(r39)
end_variable
begin_variable
var34
-1
2
Atom door_unlocked(r4)
NegatedAtom door_unlocked(r4)
end_variable
begin_variable
var35
-1
2
Atom door_unlocked(r40)
NegatedAtom door_unlocked(r40)
end_variable
begin_variable
var36
-1
2
Atom door_unlocked(r41)
NegatedAtom door_unlocked(r41)
end_variable
begin_variable
var37
-1
2
Atom door_unlocked(r42)
NegatedAtom door_unlocked(r42)
end_variable
begin_variable
var38
-1
2
Atom door_unlocked(r43)
NegatedAtom door_unlocked(r43)
end_variable
begin_variable
var39
-1
2
Atom door_unlocked(r44)
NegatedAtom door_unlocked(r44)
end_variable
begin_variable
var40
-1
2
Atom door_unlocked(r45)
NegatedAtom door_unlocked(r45)
end_variable
begin_variable
var41
-1
2
Atom door_unlocked(r46)
NegatedAtom door_unlocked(r46)
end_variable
begin_variable
var42
-1
2
Atom door_unlocked(r47)
NegatedAtom door_unlocked(r47)
end_variable
begin_variable
var43
-1
2
Atom door_unlocked(r48)
NegatedAtom door_unlocked(r48)
end_variable
begin_variable
var44
-1
2
Atom door_unlocked(r49)
NegatedAtom door_unlocked(r49)
end_variable
begin_variable
var45
-1
2
Atom door_unlocked(r5)
NegatedAtom door_unlocked(r5)
end_variable
begin_variable
var46
-1
2
Atom door_unlocked(r50)
NegatedAtom door_unlocked(r50)
end_variable
begin_variable
var47
-1
2
Atom door_unlocked(r51)
NegatedAtom door_unlocked(r51)
end_variable
begin_variable
var48
-1
2
Atom door_unlocked(r52)
NegatedAtom door_unlocked(r52)
end_variable
begin_variable
var49
-1
2
Atom door_unlocked(r53)
NegatedAtom door_unlocked(r53)
end_variable
begin_variable
var50
-1
2
Atom door_unlocked(r54)
NegatedAtom door_unlocked(r54)
end_variable
begin_variable
var51
-1
2
Atom door_unlocked(r55)
NegatedAtom door_unlocked(r55)
end_variable
begin_variable
var52
-1
2
Atom door_unlocked(r56)
NegatedAtom door_unlocked(r56)
end_variable
begin_variable
var53
-1
2
Atom door_unlocked(r57)
NegatedAtom door_unlocked(r57)
end_variable
begin_variable
var54
-1
2
Atom door_unlocked(r58)
NegatedAtom door_unlocked(r58)
end_variable
begin_variable
var55
-1
2
Atom door_unlocked(r59)
NegatedAtom door_unlocked(r59)
end_variable
begin_variable
var56
-1
2
Atom door_unlocked(r6)
NegatedAtom door_unlocked(r6)
end_variable
begin_variable
var57
-1
2
Atom door_unlocked(r60)
NegatedAtom door_unlocked(r60)
end_variable
begin_variable
var58
-1
2
Atom door_unlocked(r61)
NegatedAtom door_unlocked(r61)
end_variable
begin_variable
var59
-1
2
Atom door_unlocked(r62)
NegatedAtom door_unlocked(r62)
end_variable
begin_variable
var60
-1
2
Atom door_unlocked(r63)
NegatedAtom door_unlocked(r63)
end_variable
begin_variable
var61
-1
2
Atom door_unlocked(r64)
NegatedAtom door_unlocked(r64)
end_variable
begin_variable
var62
-1
2
Atom door_unlocked(r65)
NegatedAtom door_unlocked(r65)
end_variable
begin_variable
var63
-1
2
Atom door_unlocked(r66)
NegatedAtom door_unlocked(r66)
end_variable
begin_variable
var64
-1
2
Atom door_unlocked(r67)
NegatedAtom door_unlocked(r67)
end_variable
begin_variable
var65
-1
2
Atom door_unlocked(r68)
NegatedAtom door_unlocked(r68)
end_variable
begin_variable
var66
-1
2
Atom door_unlocked(r69)
NegatedAtom door_unlocked(r69)
end_variable
begin_variable
var67
-1
2
Atom door_unlocked(r7)
NegatedAtom door_unlocked(r7)
end_variable
begin_variable
var68
-1
2
Atom door_unlocked(r70)
NegatedAtom door_unlocked(r70)
end_variable
begin_variable
var69
-1
2
Atom door_unlocked(r71)
NegatedAtom door_unlocked(r71)
end_variable
begin_variable
var70
-1
2
Atom door_unlocked(r72)
NegatedAtom door_unlocked(r72)
end_variable
begin_variable
var71
-1
2
Atom door_unlocked(r73)
NegatedAtom door_unlocked(r73)
end_variable
begin_variable
var72
-1
2
Atom door_unlocked(r74)
NegatedAtom door_unlocked(r74)
end_variable
begin_variable
var73
-1
2
Atom door_unlocked(r75)
NegatedAtom door_unlocked(r75)
end_variable
begin_variable
var74
-1
2
Atom door_unlocked(r76)
NegatedAtom door_unlocked(r76)
end_variable
begin_variable
var75
-1
2
Atom door_unlocked(r77)
NegatedAtom door_unlocked(r77)
end_variable
begin_variable
var76
-1
2
Atom door_unlocked(r78)
NegatedAtom door_unlocked(r78)
end_variable
begin_variable
var77
-1
2
Atom door_unlocked(r79)
NegatedAtom door_unlocked(r79)
end_variable
begin_variable
var78
-1
2
Atom door_unlocked(r8)
NegatedAtom door_unlocked(r8)
end_variable
begin_variable
var79
-1
2
Atom door_unlocked(r80)
NegatedAtom door_unlocked(r80)
end_variable
begin_variable
var80
-1
2
Atom door_unlocked(r81)
NegatedAtom door_unlocked(r81)
end_variable
begin_variable
var81
-1
2
Atom door_unlocked(r82)
NegatedAtom door_unlocked(r82)
end_variable
begin_variable
var82
-1
2
Atom door_unlocked(r83)
NegatedAtom door_unlocked(r83)
end_variable
begin_variable
var83
-1
2
Atom door_unlocked(r84)
NegatedAtom door_unlocked(r84)
end_variable
begin_variable
var84
-1
2
Atom door_unlocked(r85)
NegatedAtom door_unlocked(r85)
end_variable
begin_variable
var85
-1
2
Atom door_unlocked(r86)
NegatedAtom door_unlocked(r86)
end_variable
begin_variable
var86
-1
2
Atom door_unlocked(r87)
NegatedAtom door_unlocked(r87)
end_variable
begin_variable
var87
-1
2
Atom door_unlocked(r88)
NegatedAtom door_unlocked(r88)
end_variable
begin_variable
var88
-1
2
Atom door_unlocked(r89)
NegatedAtom door_unlocked(r89)
end_variable
begin_variable
var89
-1
2
Atom door_unlocked(r9)
NegatedAtom door_unlocked(r9)
end_variable
begin_variable
var90
-1
2
Atom door_unlocked(r90)
NegatedAtom door_unlocked(r90)
end_variable
begin_variable
var91
-1
2
Atom door_unlocked(r91)
NegatedAtom door_unlocked(r91)
end_variable
begin_variable
var92
-1
2
Atom door_unlocked(r92)
NegatedAtom door_unlocked(r92)
end_variable
begin_variable
var93
-1
2
Atom door_unlocked(r93)
NegatedAtom door_unlocked(r93)
end_variable
begin_variable
var94
-1
2
Atom door_unlocked(r94)
NegatedAtom door_unlocked(r94)
end_variable
begin_variable
var95
-1
2
Atom door_unlocked(r95)
NegatedAtom door_unlocked(r95)
end_variable
begin_variable
var96
-1
2
Atom door_unlocked(r96)
NegatedAtom door_unlocked(r96)
end_variable
begin_variable
var97
-1
2
Atom door_unlocked(r97)
NegatedAtom door_unlocked(r97)
end_variable
begin_variable
var98
-1
2
Atom door_unlocked(r98)
NegatedAtom door_unlocked(r98)
end_variable
begin_variable
var99
-1
2
Atom door_unlocked(r99)
NegatedAtom door_unlocked(r99)
end_variable
begin_variable
var100
-1
2
Atom light_off(r1)
Atom light_on(r1)
end_variable
begin_variable
var101
-1
2
Atom light_off(r10)
Atom light_on(r10)
end_variable
begin_variable
var102
-1
2
Atom light_off(r11)
Atom light_on(r11)
end_variable
begin_variable
var103
-1
2
Atom light_off(r12)
Atom light_on(r12)
end_variable
begin_variable
var104
-1
2
Atom light_off(r13)
Atom light_on(r13)
end_variable
begin_variable
var105
-1
2
Atom light_off(r14)
Atom light_on(r14)
end_variable
begin_variable
var106
-1
2
Atom light_off(r15)
Atom light_on(r15)
end_variable
begin_variable
var107
-1
2
Atom light_off(r16)
Atom light_on(r16)
end_variable
begin_variable
var108
-1
2
Atom light_off(r17)
Atom light_on(r17)
end_variable
begin_variable
var109
-1
2
Atom light_off(r18)
Atom light_on(r18)
end_variable
begin_variable
var110
-1
2
Atom light_off(r19)
Atom light_on(r19)
end_variable
begin_variable
var111
-1
2
Atom light_off(r2)
Atom light_on(r2)
end_variable
begin_variable
var112
-1
2
Atom light_off(r20)
Atom light_on(r20)
end_variable
begin_variable
var113
-1
2
Atom light_off(r21)
Atom light_on(r21)
end_variable
begin_variable
var114
-1
2
Atom light_off(r22)
Atom light_on(r22)
end_variable
begin_variable
var115
-1
2
Atom light_off(r23)
Atom light_on(r23)
end_variable
begin_variable
var116
-1
2
Atom light_off(r24)
Atom light_on(r24)
end_variable
begin_variable
var117
-1
2
Atom light_off(r25)
Atom light_on(r25)
end_variable
begin_variable
var118
-1
2
Atom light_off(r26)
Atom light_on(r26)
end_variable
begin_variable
var119
-1
2
Atom light_off(r27)
Atom light_on(r27)
end_variable
begin_variable
var120
-1
2
Atom light_off(r28)
Atom light_on(r28)
end_variable
begin_variable
var121
-1
2
Atom light_off(r29)
Atom light_on(r29)
end_variable
begin_variable
var122
-1
2
Atom light_off(r3)
Atom light_on(r3)
end_variable
begin_variable
var123
-1
2
Atom light_off(r30)
Atom light_on(r30)
end_variable
begin_variable
var124
-1
2
Atom light_off(r31)
Atom light_on(r31)
end_variable
begin_variable
var125
-1
2
Atom light_off(r32)
Atom light_on(r32)
end_variable
begin_variable
var126
-1
2
Atom light_off(r33)
Atom light_on(r33)
end_variable
begin_variable
var127
-1
2
Atom light_off(r34)
Atom light_on(r34)
end_variable
begin_variable
var128
-1
2
Atom light_off(r35)
Atom light_on(r35)
end_variable
begin_variable
var129
-1
2
Atom light_off(r36)
Atom light_on(r36)
end_variable
begin_variable
var130
-1
2
Atom light_off(r37)
Atom light_on(r37)
end_variable
begin_variable
var131
-1
2
Atom light_off(r38)
Atom light_on(r38)
end_variable
begin_variable
var132
-1
2
Atom light_off(r39)
Atom light_on(r39)
end_variable
begin_variable
var133
-1
2
Atom light_off(r4)
Atom light_on(r4)
end_variable
begin_variable
var134
-1
2
Atom light_off(r40)
Atom light_on(r40)
end_variable
begin_variable
var135
-1
2
Atom light_off(r41)
Atom light_on(r41)
end_variable
begin_variable
var136
-1
2
Atom light_off(r42)
Atom light_on(r42)
end_variable
begin_variable
var137
-1
2
Atom light_off(r43)
Atom light_on(r43)
end_variable
begin_variable
var138
-1
2
Atom light_off(r44)
Atom light_on(r44)
end_variable
begin_variable
var139
-1
2
Atom light_off(r45)
Atom light_on(r45)
end_variable
begin_variable
var140
-1
2
Atom light_off(r46)
Atom light_on(r46)
end_variable
begin_variable
var141
-1
2
Atom light_off(r47)
Atom light_on(r47)
end_variable
begin_variable
var142
-1
2
Atom light_off(r48)
Atom light_on(r48)
end_variable
begin_variable
var143
-1
2
Atom light_off(r49)
Atom light_on(r49)
end_variable
begin_variable
var144
-1
2
Atom light_off(r5)
Atom light_on(r5)
end_variable
begin_variable
var145
-1
2
Atom light_off(r50)
Atom light_on(r50)
end_variable
begin_variable
var146
-1
2
Atom light_off(r51)
Atom light_on(r51)
end_variable
begin_variable
var147
-1
2
Atom light_off(r52)
Atom light_on(r52)
end_variable
begin_variable
var148
-1
2
Atom light_off(r53)
Atom light_on(r53)
end_variable
begin_variable
var149
-1
2
Atom light_off(r54)
Atom light_on(r54)
end_variable
begin_variable
var150
-1
2
Atom light_off(r55)
Atom light_on(r55)
end_variable
begin_variable
var151
-1
2
Atom light_off(r56)
Atom light_on(r56)
end_variable
begin_variable
var152
-1
2
Atom light_off(r57)
Atom light_on(r57)
end_variable
begin_variable
var153
-1
2
Atom light_off(r58)
Atom light_on(r58)
end_variable
begin_variable
var154
-1
2
Atom light_off(r59)
Atom light_on(r59)
end_variable
begin_variable
var155
-1
2
Atom light_off(r6)
Atom light_on(r6)
end_variable
begin_variable
var156
-1
2
Atom light_off(r60)
Atom light_on(r60)
end_variable
begin_variable
var157
-1
2
Atom light_off(r61)
Atom light_on(r61)
end_variable
begin_variable
var158
-1
2
Atom light_off(r62)
Atom light_on(r62)
end_variable
begin_variable
var159
-1
2
Atom light_off(r63)
Atom light_on(r63)
end_variable
begin_variable
var160
-1
2
Atom light_off(r64)
Atom light_on(r64)
end_variable
begin_variable
var161
-1
2
Atom light_off(r65)
Atom light_on(r65)
end_variable
begin_variable
var162
-1
2
Atom light_off(r66)
Atom light_on(r66)
end_variable
begin_variable
var163
-1
2
Atom light_off(r67)
Atom light_on(r67)
end_variable
begin_variable
var164
-1
2
Atom light_off(r68)
Atom light_on(r68)
end_variable
begin_variable
var165
-1
2
Atom light_off(r69)
Atom light_on(r69)
end_variable
begin_variable
var166
-1
2
Atom light_off(r7)
Atom light_on(r7)
end_variable
begin_variable
var167
-1
2
Atom light_off(r70)
Atom light_on(r70)
end_variable
begin_variable
var168
-1
2
Atom light_off(r71)
Atom light_on(r71)
end_variable
begin_variable
var169
-1
2
Atom light_off(r72)
Atom light_on(r72)
end_variable
begin_variable
var170
-1
2
Atom light_off(r73)
Atom light_on(r73)
end_variable
begin_variable
var171
-1
2
Atom light_off(r74)
Atom light_on(r74)
end_variable
begin_variable
var172
-1
2
Atom light_off(r75)
Atom light_on(r75)
end_variable
begin_variable
var173
-1
2
Atom light_off(r76)
Atom light_on(r76)
end_variable
begin_variable
var174
-1
2
Atom light_off(r77)
Atom light_on(r77)
end_variable
begin_variable
var175
-1
2
Atom light_off(r78)
Atom light_on(r78)
end_variable
begin_variable
var176
-1
2
Atom light_off(r79)
Atom light_on(r79)
end_variable
begin_variable
var177
-1
2
Atom light_off(r8)
Atom light_on(r8)
end_variable
begin_variable
var178
-1
2
Atom light_off(r80)
Atom light_on(r80)
end_variable
begin_variable
var179
-1
2
Atom light_off(r81)
Atom light_on(r81)
end_variable
begin_variable
var180
-1
2
Atom light_off(r82)
Atom light_on(r82)
end_variable
begin_variable
var181
-1
2
Atom light_off(r83)
Atom light_on(r83)
end_variable
begin_variable
var182
-1
2
Atom light_off(r84)
Atom light_on(r84)
end_variable
begin_variable
var183
-1
2
Atom light_off(r85)
Atom light_on(r85)
end_variable
begin_variable
var184
-1
2
Atom light_off(r86)
Atom light_on(r86)
end_variable
begin_variable
var185
-1
2
Atom light_off(r87)
Atom light_on(r87)
end_variable
begin_variable
var186
-1
2
Atom light_off(r88)
Atom light_on(r88)
end_variable
begin_variable
var187
-1
2
Atom light_off(r89)
Atom light_on(r89)
end_variable
begin_variable
var188
-1
2
Atom light_off(r9)
Atom light_on(r9)
end_variable
begin_variable
var189
-1
2
Atom light_off(r90)
Atom light_on(r90)
end_variable
begin_variable
var190
-1
2
Atom light_off(r91)
Atom light_on(r91)
end_variable
begin_variable
var191
-1
2
Atom light_off(r92)
Atom light_on(r92)
end_variable
begin_variable
var192
-1
2
Atom light_off(r93)
Atom light_on(r93)
end_variable
begin_variable
var193
-1
2
Atom light_off(r94)
Atom light_on(r94)
end_variable
begin_variable
var194
-1
2
Atom light_off(r95)
Atom light_on(r95)
end_variable
begin_variable
var195
-1
2
Atom light_off(r96)
Atom light_on(r96)
end_variable
begin_variable
var196
-1
2
Atom light_off(r97)
Atom light_on(r97)
end_variable
begin_variable
var197
-1
2
Atom light_off(r98)
Atom light_on(r98)
end_variable
begin_variable
var198
-1
2
Atom light_off(r99)
Atom light_on(r99)
end_variable
begin_variable
var199
-1
2
Atom visited(r10)
NegatedAtom visited(r10)
end_variable
begin_variable
var200
-1
2
Atom visited(r100)
NegatedAtom visited(r100)
end_variable
begin_variable
var201
-1
2
Atom visited(r11)
NegatedAtom visited(r11)
end_variable
begin_variable
var202
-1
2
Atom visited(r12)
NegatedAtom visited(r12)
end_variable
begin_variable
var203
-1
2
Atom visited(r13)
NegatedAtom visited(r13)
end_variable
begin_variable
var204
-1
2
Atom visited(r14)
NegatedAtom visited(r14)
end_variable
begin_variable
var205
-1
2
Atom visited(r15)
NegatedAtom visited(r15)
end_variable
begin_variable
var206
-1
2
Atom visited(r16)
NegatedAtom visited(r16)
end_variable
begin_variable
var207
-1
2
Atom visited(r17)
NegatedAtom visited(r17)
end_variable
begin_variable
var208
-1
2
Atom visited(r18)
NegatedAtom visited(r18)
end_variable
begin_variable
var209
-1
2
Atom visited(r19)
NegatedAtom visited(r19)
end_variable
begin_variable
var210
-1
2
Atom visited(r2)
NegatedAtom visited(r2)
end_variable
begin_variable
var211
-1
2
Atom visited(r20)
NegatedAtom visited(r20)
end_variable
begin_variable
var212
-1
2
Atom visited(r21)
NegatedAtom visited(r21)
end_variable
begin_variable
var213
-1
2
Atom visited(r22)
NegatedAtom visited(r22)
end_variable
begin_variable
var214
-1
2
Atom visited(r23)
NegatedAtom visited(r23)
end_variable
begin_variable
var215
-1
2
Atom visited(r24)
NegatedAtom visited(r24)
end_variable
begin_variable
var216
-1
2
Atom visited(r25)
NegatedAtom visited(r25)
end_variable
begin_variable
var217
-1
2
Atom visited(r26)
NegatedAtom visited(r26)
end_variable
begin_variable
var218
-1
2
Atom visited(r27)
NegatedAtom visited(r27)
end_variable
begin_variable
var219
-1
2
Atom visited(r28)
NegatedAtom visited(r28)
end_variable
begin_variable
var220
-1
2
Atom visited(r29)
NegatedAtom visited(r29)
end_variable
begin_variable
var221
-1
2
Atom visited(r3)
NegatedAtom visited(r3)
end_variable
begin_variable
var222
-1
2
Atom visited(r30)
NegatedAtom visited(r30)
end_variable
begin_variable
var223
-1
2
Atom visited(r31)
NegatedAtom visited(r31)
end_variable
begin_variable
var224
-1
2
Atom visited(r32)
NegatedAtom visited(r32)
end_variable
begin_variable
var225
-1
2
Atom visited(r33)
NegatedAtom visited(r33)
end_variable
begin_variable
var226
-1
2
Atom visited(r34)
NegatedAtom visited(r34)
end_variable
begin_variable
var227
-1
2
Atom visited(r35)
NegatedAtom visited(r35)
end_variable
begin_variable
var228
-1
2
Atom visited(r36)
NegatedAtom visited(r36)
end_variable
begin_variable
var229
-1
2
Atom visited(r37)
NegatedAtom visited(r37)
end_variable
begin_variable
var230
-1
2
Atom visited(r38)
NegatedAtom visited(r38)
end_variable
begin_variable
var231
-1
2
Atom visited(r39)
NegatedAtom visited(r39)
end_variable
begin_variable
var232
-1
2
Atom visited(r4)
NegatedAtom visited(r4)
end_variable
begin_variable
var233
-1
2
Atom visited(r40)
NegatedAtom visited(r40)
end_variable
begin_variable
var234
-1
2
Atom visited(r41)
NegatedAtom visited(r41)
end_variable
begin_variable
var235
-1
2
Atom visited(r42)
NegatedAtom visited(r42)
end_variable
begin_variable
var236
-1
2
Atom visited(r43)
NegatedAtom visited(r43)
end_variable
begin_variable
var237
-1
2
Atom visited(r44)
NegatedAtom visited(r44)
end_variable
begin_variable
var238
-1
2
Atom visited(r45)
NegatedAtom visited(r45)
end_variable
begin_variable
var239
-1
2
Atom visited(r46)
NegatedAtom visited(r46)
end_variable
begin_variable
var240
-1
2
Atom visited(r47)
NegatedAtom visited(r47)
end_variable
begin_variable
var241
-1
2
Atom visited(r48)
NegatedAtom visited(r48)
end_variable
begin_variable
var242
-1
2
Atom visited(r49)
NegatedAtom visited(r49)
end_variable
begin_variable
var243
-1
2
Atom visited(r5)
NegatedAtom visited(r5)
end_variable
begin_variable
var244
-1
2
Atom visited(r50)
NegatedAtom visited(r50)
end_variable
begin_variable
var245
-1
2
Atom visited(r51)
NegatedAtom visited(r51)
end_variable
begin_variable
var246
-1
2
Atom visited(r52)
NegatedAtom visited(r52)
end_variable
begin_variable
var247
-1
2
Atom visited(r53)
NegatedAtom visited(r53)
end_variable
begin_variable
var248
-1
2
Atom visited(r54)
NegatedAtom visited(r54)
end_variable
begin_variable
var249
-1
2
Atom visited(r55)
NegatedAtom visited(r55)
end_variable
begin_variable
var250
-1
2
Atom visited(r56)
NegatedAtom visited(r56)
end_variable
begin_variable
var251
-1
2
Atom visited(r57)
NegatedAtom visited(r57)
end_variable
begin_variable
var252
-1
2
Atom visited(r58)
NegatedAtom visited(r58)
end_variable
begin_variable
var253
-1
2
Atom visited(r59)
NegatedAtom visited(r59)
end_variable
begin_variable
var254
-1
2
Atom visited(r6)
NegatedAtom visited(r6)
end_variable
begin_variable
var255
-1
2
Atom visited(r60)
NegatedAtom visited(r60)
end_variable
begin_variable
var256
-1
2
Atom visited(r61)
NegatedAtom visited(r61)
end_variable
begin_variable
var257
-1
2
Atom visited(r62)
NegatedAtom visited(r62)
end_variable
begin_variable
var258
-1
2
Atom visited(r63)
NegatedAtom visited(r63)
end_variable
begin_variable
var259
-1
2
Atom visited(r64)
NegatedAtom visited(r64)
end_variable
begin_variable
var260
-1
2
Atom visited(r65)
NegatedAtom visited(r65)
end_variable
begin_variable
var261
-1
2
Atom visited(r66)
NegatedAtom visited(r66)
end_variable
begin_variable
var262
-1
2
Atom visited(r67)
NegatedAtom visited(r67)
end_variable
begin_variable
var263
-1
2
Atom visited(r68)
NegatedAtom visited(r68)
end_variable
begin_variable
var264
-1
2
Atom visited(r69)
NegatedAtom visited(r69)
end_variable
begin_variable
var265
-1
2
Atom visited(r7)
NegatedAtom visited(r7)
end_variable
begin_variable
var266
-1
2
Atom visited(r70)
NegatedAtom visited(r70)
end_variable
begin_variable
var267
-1
2
Atom visited(r71)
NegatedAtom visited(r71)
end_variable
begin_variable
var268
-1
2
Atom visited(r72)
NegatedAtom visited(r72)
end_variable
begin_variable
var269
-1
2
Atom visited(r73)
NegatedAtom visited(r73)
end_variable
begin_variable
var270
-1
2
Atom visited(r74)
NegatedAtom visited(r74)
end_variable
begin_variable
var271
-1
2
Atom visited(r75)
NegatedAtom visited(r75)
end_variable
begin_variable
var272
-1
2
Atom visited(r76)
NegatedAtom visited(r76)
end_variable
begin_variable
var273
-1
2
Atom visited(r77)
NegatedAtom visited(r77)
end_variable
begin_variable
var274
-1
2
Atom visited(r78)
NegatedAtom visited(r78)
end_variable
begin_variable
var275
-1
2
Atom visited(r79)
NegatedAtom visited(r79)
end_variable
begin_variable
var276
-1
2
Atom visited(r8)
NegatedAtom visited(r8)
end_variable
begin_variable
var277
-1
2
Atom visited(r80)
NegatedAtom visited(r80)
end_variable
begin_variable
var278
-1
2
Atom visited(r81)
NegatedAtom visited(r81)
end_variable
begin_variable
var279
-1
2
Atom visited(r82)
NegatedAtom visited(r82)
end_variable
begin_variable
var280
-1
2
Atom visited(r83)
NegatedAtom visited(r83)
end_variable
begin_variable
var281
-1
2
Atom visited(r84)
NegatedAtom visited(r84)
end_variable
begin_variable
var282
-1
2
Atom visited(r85)
NegatedAtom visited(r85)
end_variable
begin_variable
var283
-1
2
Atom visited(r86)
NegatedAtom visited(r86)
end_variable
begin_variable
var284
-1
2
Atom visited(r87)
NegatedAtom visited(r87)
end_variable
begin_variable
var285
-1
2
Atom visited(r88)
NegatedAtom visited(r88)
end_variable
begin_variable
var286
-1
2
Atom visited(r89)
NegatedAtom visited(r89)
end_variable
begin_variable
var287
-1
2
Atom visited(r9)
NegatedAtom visited(r9)
end_variable
begin_variable
var288
-1
2
Atom visited(r90)
NegatedAtom visited(r90)
end_variable
begin_variable
var289
-1
2
Atom visited(r91)
NegatedAtom visited(r91)
end_variable
begin_variable
var290
-1
2
Atom visited(r92)
NegatedAtom visited(r92)
end_variable
begin_variable
var291
-1
2
Atom visited(r93)
NegatedAtom visited(r93)
end_variable
begin_variable
var292
-1
2
Atom visited(r94)
NegatedAtom visited(r94)
end_variable
begin_variable
var293
-1
2
Atom visited(r95)
NegatedAtom visited(r95)
end_variable
begin_variable
var294
-1
2
Atom visited(r96)
NegatedAtom visited(r96)
end_variable
begin_variable
var295
-1
2
Atom visited(r97)
NegatedAtom visited(r97)
end_variable
begin_variable
var296
-1
2
Atom visited(r98)
NegatedAtom visited(r98)
end_variable
begin_variable
var297
-1
2
Atom visited(r99)
NegatedAtom visited(r99)
end_variable
100
begin_mutex_group
100
0 0
0 1
0 2
0 3
0 4
0 5
0 6
0 7
0 8
0 9
0 10
0 11
0 12
0 13
0 14
0 15
0 16
0 17
0 18
0 19
0 20
0 21
0 22
0 23
0 24
0 25
0 26
0 27
0 28
0 29
0 30
0 31
0 32
0 33
0 34
0 35
0 36
0 37
0 38
0 39
0 40
0 41
0 42
0 43
0 44
0 45
0 46
0 47
0 48
0 49
0 50
0 51
0 52
0 53
0 54
0 55
0 56
0 57
0 58
0 59
0 60
0 61
0 62
0 63
0 64
0 65
0 66
0 67
0 68
0 69
0 70
0 71
0 72
0 73
0 74
0 75
0 76
0 77
0 78
0 79
0 80
0 81
0 82
0 83
0 84
0 85
0 86
0 87
0 88
0 89
0 90
0 91
0 92
0 93
0 94
0 95
0 96
0 97
0 98
0 99
end_mutex_group
begin_mutex_group
2
100 0
100 1
end_mutex_group
begin_mutex_group
2
101 0
101 1
end_mutex_group
begin_mutex_group
2
102 0
102 1
end_mutex_group
begin_mutex_group
2
103 0
103 1
end_mutex_group
begin_mutex_group
2
104 0
104 1
end_mutex_group
begin_mutex_group
2
105 0
105 1
end_mutex_group
begin_mutex_group
2
106 0
106 1
end_mutex_group
begin_mutex_group
2
107 0
107 1
end_mutex_group
begin_mutex_group
2
108 0
108 1
end_mutex_group
begin_mutex_group
2
109 0
109 1
end_mutex_group
begin_mutex_group
2
110 0
110 1
end_mutex_group
begin_mutex_group
2
111 0
111 1
end_mutex_group
begin_mutex_group
2
112 0
112 1
end_mutex_group
begin_mutex_group
2
113 0
113 1
end_mutex_group
begin_mutex_group
2
114 0
114 1
end_mutex_group
begin_mutex_group
2
115 0
115 1
end_mutex_group
begin_mutex_group
2
116 0
116 1
end_mutex_group
begin_mutex_group
2
117 0
117 1
end_mutex_group
begin_mutex_group
2
118 0
118 1
end_mutex_group
begin_mutex_group
2
119 0
119 1
end_mutex_group
begin_mutex_group
2
120 0
120 1
end_mutex_group
begin_mutex_group
2
121 0
121 1
end_mutex_group
begin_mutex_group
2
122 0
122 1
end_mutex_group
begin_mutex_group
2
123 0
123 1
end_mutex_group
begin_mutex_group
2
124 0
124 1
end_mutex_group
begin_mutex_group
2
125 0
125 1
end_mutex_group
begin_mutex_group
2
126 0
126 1
end_mutex_group
begin_mutex_group
2
127 0
127 1
end_mutex_group
begin_mutex_group
2
128 0
128 1
end_mutex_group
begin_mutex_group
2
129 0
129 1
end_mutex_group
begin_mutex_group
2
130 0
130 1
end_mutex_group
begin_mutex_group
2
131 0
131 1
end_mutex_group
begin_mutex_group
2
132 0
132 1
end_mutex_group
begin_mutex_group
2
133 0
133 1
end_mutex_group
begin_mutex_group
2
134 0
134 1
end_mutex_group
begin_mutex_group
2
135 0
135 1
end_mutex_group
begin_mutex_group
2
136 0
136 1
end_mutex_group
begin_mutex_group
2
137 0
137 1
end_mutex_group
begin_mutex_group
2
138 0
138 1
end_mutex_group
begin_mutex_group
2
139 0
139 1
end_mutex_group
begin_mutex_group
2
140 0
140 1
end_mutex_group
begin_mutex_group
2
141 0
141 1
end_mutex_group
begin_mutex_group
2
142 0
142 1
end_mutex_group
begin_mutex_group
2
143 0
143 1
end_mutex_group
begin_mutex_group
2
144 0
144 1
end_mutex_group
begin_mutex_group
2
145 0
145 1
end_mutex_group
begin_mutex_group
2
146 0
146 1
end_mutex_group
begin_mutex_group
2
147 0
147 1
end_mutex_group
begin_mutex_group
2
148 0
148 1
end_mutex_group
begin_mutex_group
2
149 0
149 1
end_mutex_group
begin_mutex_group
2
150 0
150 1
end_mutex_group
begin_mutex_group
2
151 0
151 1
end_mutex_group
begin_mutex_group
2
152 0
152 1
end_mutex_group
begin_mutex_group
2
153 0
153 1
end_mutex_group
begin_mutex_group
2
154 0
154 1
end_mutex_group
begin_mutex_group
2
155 0
155 1
end_mutex_group
begin_mutex_group
2
156 0
156 1
end_mutex_group
begin_mutex_group
2
157 0
157 1
end_mutex_group
begin_mutex_group
2
158 0
158 1
end_mutex_group
begin_mutex_group
2
159 0
159 1
end_mutex_group
begin_mutex_group
2
160 0
160 1
end_mutex_group
begin_mutex_group
2
161 0
161 1
end_mutex_group
begin_mutex_group
2
162 0
162 1
end_mutex_group
begin_mutex_group
2
163 0
163 1
end_mutex_group
begin_mutex_group
2
164 0
164 1
end_mutex_group
begin_mutex_group
2
165 0
165 1
end_mutex_group
begin_mutex_group
2
166 0
166 1
end_mutex_group
begin_mutex_group
2
167 0
167 1
end_mutex_group
begin_mutex_group
2
168 0
168 1
end_mutex_group
begin_mutex_group
2
169 0
169 1
end_mutex_group
begin_mutex_group
2
170 0
170 1
end_mutex_group
begin_mutex_group
2
171 0
171 1
end_mutex_group
begin_mutex_group
2
172 0
172 1
end_mutex_group
begin_mutex_group
2
173 0
173 1
end_mutex_group
begin_mutex_group
2
174 0
174 1
end_mutex_group
begin_mutex_group
2
175 0
175 1
end_mutex_group
begin_mutex_group
2
176 0
176 1
end_mutex_group
begin_mutex_group
2
177 0
177 1
end_mutex_group
begin_mutex_group
2
178 0
178 1
end_mutex_group
begin_mutex_group
2
179 0
179 1
end_mutex_group
begin_mutex_group
2
180 0
180 1
end_mutex_group
begin_mutex_group
2
181 0
181 1
end_mutex_group
begin_mutex_group
2
182 0
182 1
end_mutex_group
begin_mutex_group
2
183 0
183 1
end_mutex_group
begin_mutex_group
2
184 0
184 1
end_mutex_group
begin_mutex_group
2
185 0
185 1
end_mutex_group
begin_mutex_group
2
186 0
186 1
end_mutex_group
begin_mutex_group
2
187 0
187 1
end_mutex_group
begin_mutex_group
2
188 0
188 1
end_mutex_group
begin_mutex_group
2
189 0
189 1
end_mutex_group
begin_mutex_group
2
190 0
190 1
end_mutex_group
begin_mutex_group
2
191 0
191 1
end_mutex_group
begin_mutex_group
2
192 0
192 1
end_mutex_group
begin_mutex_group
2
193 0
193 1
end_mutex_group
begin_mutex_group
2
194 0
194 1
end_mutex_group
begin_mutex_group
2
195 0
195 1
end_mutex_group
begin_mutex_group
2
196 0
196 1
end_mutex_group
begin_mutex_group
2
197 0
197 1
end_mutex_group
begin_mutex_group
2
198 0
198 1
end_mutex_group
begin_state
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
end_state
begin_goal
99
199 0
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 0
209 0
210 0
211 0
212 0
213 0
214 0
215 0
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 0
224 0
225 0
226 0
227 0
228 0
229 0
230 0
231 0
232 0
233 0
234 0
235 0
236 0
237 0
238 0
239 0
240 0
241 0
242 0
243 0
244 0
245 0
246 0
247 0
248 0
249 0
250 0
251 0
252 0
253 0
254 0
255 0
256 0
257 0
258 0
259 0
260 0
261 0
262 0
263 0
264 0
265 0
266 0
267 0
268 0
269 0
270 0
271 0
272 0
273 0
274 0
275 0
276 0
277 0
278 0
279 0
280 0
281 0
282 0
283 0
284 0
285 0
286 0
287 0
288 0
289 0
290 0
291 0
292 0
293 0
294 0
295 0
296 0
297 0
end_goal
396
begin_operator
move_left_right r1 r2
2
0 0
1 0
1
2
0 0 0 12
0 210 -1 0
0
end_operator
begin_operator
move_left_right r10 r11
2
0 1
2 0
1
2
0 0 1 3
0 201 -1 0
0
end_operator
begin_operator
move_left_right r11 r12
2
0 3
3 0
1
2
0 0 3 4
0 202 -1 0
0
end_operator
begin_operator
move_left_right r12 r13
2
0 4
4 0
1
2
0 0 4 5
0 203 -1 0
0
end_operator
begin_operator
move_left_right r13 r14
2
0 5
5 0
1
2
0 0 5 6
0 204 -1 0
0
end_operator
begin_operator
move_left_right r14 r15
2
0 6
6 0
1
2
0 0 6 7
0 205 -1 0
0
end_operator
begin_operator
move_left_right r15 r16
2
0 7
7 0
1
2
0 0 7 8
0 206 -1 0
0
end_operator
begin_operator
move_left_right r16 r17
2
0 8
8 0
1
2
0 0 8 9
0 207 -1 0
0
end_operator
begin_operator
move_left_right r17 r18
2
0 9
9 0
1
2
0 0 9 10
0 208 -1 0
0
end_operator
begin_operator
move_left_right r18 r19
2
0 10
10 0
1
2
0 0 10 11
0 209 -1 0
0
end_operator
begin_operator
move_left_right r19 r20
2
0 11
11 0
1
2
0 0 11 13
0 211 -1 0
0
end_operator
begin_operator
move_left_right r2 r3
2
0 12
12 0
1
2
0 0 12 23
0 221 -1 0
0
end_operator
begin_operator
move_left_right r20 r21
2
0 13
13 0
1
2
0 0 13 14
0 212 -1 0
0
end_operator
begin_operator
move_left_right r21 r22
2
0 14
14 0
1
2
0 0 14 15
0 213 -1 0
0
end_operator
begin_operator
move_left_right r22 r23
2
0 15
15 0
1
2
0 0 15 16
0 214 -1 0
0
end_operator
begin_operator
move_left_right r23 r24
2
0 16
16 0
1
2
0 0 16 17
0 215 -1 0
0
end_operator
begin_operator
move_left_right r24 r25
2
0 17
17 0
1
2
0 0 17 18
0 216 -1 0
0
end_operator
begin_operator
move_left_right r25 r26
2
0 18
18 0
1
2
0 0 18 19
0 217 -1 0
0
end_operator
begin_operator
move_left_right r26 r27
2
0 19
19 0
1
2
0 0 19 20
0 218 -1 0
0
end_operator
begin_operator
move_left_right r27 r28
2
0 20
20 0
1
2
0 0 20 21
0 219 -1 0
0
end_operator
begin_operator
move_left_right r28 r29
2
0 21
21 0
1
2
0 0 21 22
0 220 -1 0
0
end_operator
begin_operator
move_left_right r29 r30
2
0 22
22 0
1
2
0 0 22 24
0 222 -1 0
0
end_operator
begin_operator
move_left_right r3 r4
2
0 23
23 0
1
2
0 0 23 34
0 232 -1 0
0
end_operator
begin_operator
move_left_right r30 r31
2
0 24
24 0
1
2
0 0 24 25
0 223 -1 0
0
end_operator
begin_operator
move_left_right r31 r32
2
0 25
25 0
1
2
0 0 25 26
0 224 -1 0
0
end_operator
begin_operator
move_left_right r32 r33
2
0 26
26 0
1
2
0 0 26 27
0 225 -1 0
0
end_operator
begin_operator
move_left_right r33 r34
2
0 27
27 0
1
2
0 0 27 28
0 226 -1 0
0
end_operator
begin_operator
move_left_right r34 r35
2
0 28
28 0
1
2
0 0 28 29
0 227 -1 0
0
end_operator
begin_operator
move_left_right r35 r36
2
0 29
29 0
1
2
0 0 29 30
0 228 -1 0
0
end_operator
begin_operator
move_left_right r36 r37
2
0 30
30 0
1
2
0 0 30 31
0 229 -1 0
0
end_operator
begin_operator
move_left_right r37 r38
2
0 31
31 0
1
2
0 0 31 32
0 230 -1 0
0
end_operator
begin_operator
move_left_right r38 r39
2
0 32
32 0
1
2
0 0 32 33
0 231 -1 0
0
end_operator
begin_operator
move_left_right r39 r40
2
0 33
33 0
1
2
0 0 33 35
0 233 -1 0
0
end_operator
begin_operator
move_left_right r4 r5
2
0 34
34 0
1
2
0 0 34 45
0 243 -1 0
0
end_operator
begin_operator
move_left_right r40 r41
2
0 35
35 0
1
2
0 0 35 36
0 234 -1 0
0
end_operator
begin_operator
move_left_right r41 r42
2
0 36
36 0
1
2
0 0 36 37
0 235 -1 0
0
end_operator
begin_operator
move_left_right r42 r43
2
0 37
37 0
1
2
0 0 37 38
0 236 -1 0
0
end_operator
begin_operator
move_left_right r43 r44
2
0 38
38 0
1
2
0 0 38 39
0 237 -1 0
0
end_operator
begin_operator
move_left_right r44 r45
2
0 39
39 0
1
2
0 0 39 40
0 238 -1 0
0
end_operator
begin_operator
move_left_right r45 r46
2
0 40
40 0
1
2
0 0 40 41
0 239 -1 0
0
end_operator
begin_operator
move_left_right r46 r47
2
0 41
41 0
1
2
0 0 41 42
0 240 -1 0
0
end_operator
begin_operator
move_left_right r47 r48
2
0 42
42 0
1
2
0 0 42 43
0 241 -1 0
0
end_operator
begin_operator
move_left_right r48 r49
2
0 43
43 0
1
2
0 0 43 44
0 242 -1 0
0
end_operator
begin_operator
move_left_right r49 r50
2
0 44
44 0
1
2
0 0 44 46
0 244 -1 0
0
end_operator
begin_operator
move_left_right r5 r6
2
0 45
45 0
1
2
0 0 45 56
0 254 -1 0
0
end_operator
begin_operator
move_left_right r50 r51
2
0 46
46 0
1
2
0 0 46 47
0 245 -1 0
0
end_operator
begin_operator
move_left_right r51 r52
2
0 47
47 0
1
2
0 0 47 48
0 246 -1 0
0
end_operator
begin_operator
move_left_right r52 r53
2
0 48
48 0
1
2
0 0 48 49
0 247 -1 0
0
end_operator
begin_operator
move_left_right r53 r54
2
0 49
49 0
1
2
0 0 49 50
0 248 -1 0
0
end_operator
begin_operator
move_left_right r54 r55
2
0 50
50 0
1
2
0 0 50 51
0 249 -1 0
0
end_operator
begin_operator
move_left_right r55 r56
2
0 51
51 0
1
2
0 0 51 52
0 250 -1 0
0
end_operator
begin_operator
move_left_right r56 r57
2
0 52
52 0
1
2
0 0 52 53
0 251 -1 0
0
end_operator
begin_operator
move_left_right r57 r58
2
0 53
53 0
1
2
0 0 53 54
0 252 -1 0
0
end_operator
begin_operator
move_left_right r58 r59
2
0 54
54 0
1
2
0 0 54 55
0 253 -1 0
0
end_operator
begin_operator
move_left_right r59 r60
2
0 55
55 0
1
2
0 0 55 57
0 255 -1 0
0
end_operator
begin_operator
move_left_right r6 r7
2
0 56
56 0
1
2
0 0 56 67
0 265 -1 0
0
end_operator
begin_operator
move_left_right r60 r61
2
0 57
57 0
1
2
0 0 57 58
0 256 -1 0
0
end_operator
begin_operator
move_left_right r61 r62
2
0 58
58 0
1
2
0 0 58 59
0 257 -1 0
0
end_operator
begin_operator
move_left_right r62 r63
2
0 59
59 0
1
2
0 0 59 60
0 258 -1 0
0
end_operator
begin_operator
move_left_right r63 r64
2
0 60
60 0
1
2
0 0 60 61
0 259 -1 0
0
end_operator
begin_operator
move_left_right r64 r65
2
0 61
61 0
1
2
0 0 61 62
0 260 -1 0
0
end_operator
begin_operator
move_left_right r65 r66
2
0 62
62 0
1
2
0 0 62 63
0 261 -1 0
0
end_operator
begin_operator
move_left_right r66 r67
2
0 63
63 0
1
2
0 0 63 64
0 262 -1 0
0
end_operator
begin_operator
move_left_right r67 r68
2
0 64
64 0
1
2
0 0 64 65
0 263 -1 0
0
end_operator
begin_operator
move_left_right r68 r69
2
0 65
65 0
1
2
0 0 65 66
0 264 -1 0
0
end_operator
begin_operator
move_left_right r69 r70
2
0 66
66 0
1
2
0 0 66 68
0 266 -1 0
0
end_operator
begin_operator
move_left_right r7 r8
2
0 67
67 0
1
2
0 0 67 78
0 276 -1 0
0
end_operator
begin_operator
move_left_right r70 r71
2
0 68
68 0
1
2
0 0 68 69
0 267 -1 0
0
end_operator
begin_operator
move_left_right r71 r72
2
0 69
69 0
1
2
0 0 69 70
0 268 -1 0
0
end_operator
begin_operator
move_left_right r72 r73
2
0 70
70 0
1
2
0 0 70 71
0 269 -1 0
0
end_operator
begin_operator
move_left_right r73 r74
2
0 71
71 0
1
2
0 0 71 72
0 270 -1 0
0
end_operator
begin_operator
move_left_right r74 r75
2
0 72
72 0
1
2
0 0 72 73
0 271 -1 0
0
end_operator
begin_operator
move_left_right r75 r76
2
0 73
73 0
1
2
0 0 73 74
0 272 -1 0
0
end_operator
begin_operator
move_left_right r76 r77
2
0 74
74 0
1
2
0 0 74 75
0 273 -1 0
0
end_operator
begin_operator
move_left_right r77 r78
2
0 75
75 0
1
2
0 0 75 76
0 274 -1 0
0
end_operator
begin_operator
move_left_right r78 r79
2
0 76
76 0
1
2
0 0 76 77
0 275 -1 0
0
end_operator
begin_operator
move_left_right r79 r80
2
0 77
77 0
1
2
0 0 77 79
0 277 -1 0
0
end_operator
begin_operator
move_left_right r8 r9
2
0 78
78 0
1
2
0 0 78 89
0 287 -1 0
0
end_operator
begin_operator
move_left_right r80 r81
2
0 79
79 0
1
2
0 0 79 80
0 278 -1 0
0
end_operator
begin_operator
move_left_right r81 r82
2
0 80
80 0
1
2
0 0 80 81
0 279 -1 0
0
end_operator
begin_operator
move_left_right r82 r83
2
0 81
81 0
1
2
0 0 81 82
0 280 -1 0
0
end_operator
begin_operator
move_left_right r83 r84
2
0 82
82 0
1
2
0 0 82 83
0 281 -1 0
0
end_operator
begin_operator
move_left_right r84 r85
2
0 83
83 0
1
2
0 0 83 84
0 282 -1 0
0
end_operator
begin_operator
move_left_right r85 r86
2
0 84
84 0
1
2
0 0 84 85
0 283 -1 0
0
end_operator
begin_operator
move_left_right r86 r87
2
0 85
85 0
1
2
0 0 85 86
0 284 -1 0
0
end_operator
begin_operator
move_left_right r87 r88
2
0 86
86 0
1
2
0 0 86 87
0 285 -1 0
0
end_operator
begin_operator
move_left_right r88 r89
2
0 87
87 0
1
2
0 0 87 88
0 286 -1 0
0
end_operator
begin_operator
move_left_right r89 r90
2
0 88
88 0
1
2
0 0 88 90
0 288 -1 0
0
end_operator
begin_operator
move_left_right r9 r10
2
0 89
89 0
1
2
0 0 89 1
0 199 -1 0
0
end_operator
begin_operator
move_left_right r90 r91
2
0 90
90 0
1
2
0 0 90 91
0 289 -1 0
0
end_operator
begin_operator
move_left_right r91 r92
2
0 91
91 0
1
2
0 0 91 92
0 290 -1 0
0
end_operator
begin_operator
move_left_right r92 r93
2
0 92
92 0
1
2
0 0 92 93
0 291 -1 0
0
end_operator
begin_operator
move_left_right r93 r94
2
0 93
93 0
1
2
0 0 93 94
0 292 -1 0
0
end_operator
begin_operator
move_left_right r94 r95
2
0 94
94 0
1
2
0 0 94 95
0 293 -1 0
0
end_operator
begin_operator
move_left_right r95 r96
2
0 95
95 0
1
2
0 0 95 96
0 294 -1 0
0
end_operator
begin_operator
move_left_right r96 r97
2
0 96
96 0
1
2
0 0 96 97
0 295 -1 0
0
end_operator
begin_operator
move_left_right r97 r98
2
0 97
97 0
1
2
0 0 97 98
0 296 -1 0
0
end_operator
begin_operator
move_left_right r98 r99
2
0 98
98 0
1
2
0 0 98 99
0 297 -1 0
0
end_operator
begin_operator
move_left_right r99 r100
2
0 99
99 0
1
2
0 0 99 2
0 200 -1 0
0
end_operator
begin_operator
move_right_left r1 r2
2
0 12
1 0
1
1
0 0 12 0
0
end_operator
begin_operator
move_right_left r10 r11
2
0 3
2 0
1
2
0 0 3 1
0 199 -1 0
0
end_operator
begin_operator
move_right_left r11 r12
2
0 4
3 0
1
2
0 0 4 3
0 201 -1 0
0
end_operator
begin_operator
move_right_left r12 r13
2
0 5
4 0
1
2
0 0 5 4
0 202 -1 0
0
end_operator
begin_operator
move_right_left r13 r14
2
0 6
5 0
1
2
0 0 6 5
0 203 -1 0
0
end_operator
begin_operator
move_right_left r14 r15
2
0 7
6 0
1
2
0 0 7 6
0 204 -1 0
0
end_operator
begin_operator
move_right_left r15 r16
2
0 8
7 0
1
2
0 0 8 7
0 205 -1 0
0
end_operator
begin_operator
move_right_left r16 r17
2
0 9
8 0
1
2
0 0 9 8
0 206 -1 0
0
end_operator
begin_operator
move_right_left r17 r18
2
0 10
9 0
1
2
0 0 10 9
0 207 -1 0
0
end_operator
begin_operator
move_right_left r18 r19
2
0 11
10 0
1
2
0 0 11 10
0 208 -1 0
0
end_operator
begin_operator
move_right_left r19 r20
2
0 13
11 0
1
2
0 0 13 11
0 209 -1 0
0
end_operator
begin_operator
move_right_left r2 r3
2
0 23
12 0
1
2
0 0 23 12
0 210 -1 0
0
end_operator
begin_operator
move_right_left r20 r21
2
0 14
13 0
1
2
0 0 14 13
0 211 -1 0
0
end_operator
begin_operator
move_right_left r21 r22
2
0 15
14 0
1
2
0 0 15 14
0 212 -1 0
0
end_operator
begin_operator
move_right_left r22 r23
2
0 16
15 0
1
2
0 0 16 15
0 213 -1 0
0
end_operator
begin_operator
move_right_left r23 r24
2
0 17
16 0
1
2
0 0 17 16
0 214 -1 0
0
end_operator
begin_operator
move_right_left r24 r25
2
0 18
17 0
1
2
0 0 18 17
0 215 -1 0
0
end_operator
begin_operator
move_right_left r25 r26
2
0 19
18 0
1
2
0 0 19 18
0 216 -1 0
0
end_operator
begin_operator
move_right_left r26 r27
2
0 20
19 0
1
2
0 0 20 19
0 217 -1 0
0
end_operator
begin_operator
move_right_left r27 r28
2
0 21
20 0
1
2
0 0 21 20
0 218 -1 0
0
end_operator
begin_operator
move_right_left r28 r29
2
0 22
21 0
1
2
0 0 22 21
0 219 -1 0
0
end_operator
begin_operator
move_right_left r29 r30
2
0 24
22 0
1
2
0 0 24 22
0 220 -1 0
0
end_operator
begin_operator
move_right_left r3 r4
2
0 34
23 0
1
2
0 0 34 23
0 221 -1 0
0
end_operator
begin_operator
move_right_left r30 r31
2
0 25
24 0
1
2
0 0 25 24
0 222 -1 0
0
end_operator
begin_operator
move_right_left r31 r32
2
0 26
25 0
1
2
0 0 26 25
0 223 -1 0
0
end_operator
begin_operator
move_right_left r32 r33
2
0 27
26 0
1
2
0 0 27 26
0 224 -1 0
0
end_operator
begin_operator
move_right_left r33 r34
2
0 28
27 0
1
2
0 0 28 27
0 225 -1 0
0
end_operator
begin_operator
move_right_left r34 r35
2
0 29
28 0
1
2
0 0 29 28
0 226 -1 0
0
end_operator
begin_operator
move_right_left r35 r36
2
0 30
29 0
1
2
0 0 30 29
0 227 -1 0
0
end_operator
begin_operator
move_right_left r36 r37
2
0 31
30 0
1
2
0 0 31 30
0 228 -1 0
0
end_operator
begin_operator
move_right_left r37 r38
2
0 32
31 0
1
2
0 0 32 31
0 229 -1 0
0
end_operator
begin_operator
move_right_left r38 r39
2
0 33
32 0
1
2
0 0 33 32
0 230 -1 0
0
end_operator
begin_operator
move_right_left r39 r40
2
0 35
33 0
1
2
0 0 35 33
0 231 -1 0
0
end_operator
begin_operator
move_right_left r4 r5
2
0 45
34 0
1
2
0 0 45 34
0 232 -1 0
0
end_operator
begin_operator
move_right_left r40 r41
2
0 36
35 0
1
2
0 0 36 35
0 233 -1 0
0
end_operator
begin_operator
move_right_left r41 r42
2
0 37
36 0
1
2
0 0 37 36
0 234 -1 0
0
end_operator
begin_operator
move_right_left r42 r43
2
0 38
37 0
1
2
0 0 38 37
0 235 -1 0
0
end_operator
begin_operator
move_right_left r43 r44
2
0 39
38 0
1
2
0 0 39 38
0 236 -1 0
0
end_operator
begin_operator
move_right_left r44 r45
2
0 40
39 0
1
2
0 0 40 39
0 237 -1 0
0
end_operator
begin_operator
move_right_left r45 r46
2
0 41
40 0
1
2
0 0 41 40
0 238 -1 0
0
end_operator
begin_operator
move_right_left r46 r47
2
0 42
41 0
1
2
0 0 42 41
0 239 -1 0
0
end_operator
begin_operator
move_right_left r47 r48
2
0 43
42 0
1
2
0 0 43 42
0 240 -1 0
0
end_operator
begin_operator
move_right_left r48 r49
2
0 44
43 0
1
2
0 0 44 43
0 241 -1 0
0
end_operator
begin_operator
move_right_left r49 r50
2
0 46
44 0
1
2
0 0 46 44
0 242 -1 0
0
end_operator
begin_operator
move_right_left r5 r6
2
0 56
45 0
1
2
0 0 56 45
0 243 -1 0
0
end_operator
begin_operator
move_right_left r50 r51
2
0 47
46 0
1
2
0 0 47 46
0 244 -1 0
0
end_operator
begin_operator
move_right_left r51 r52
2
0 48
47 0
1
2
0 0 48 47
0 245 -1 0
0
end_operator
begin_operator
move_right_left r52 r53
2
0 49
48 0
1
2
0 0 49 48
0 246 -1 0
0
end_operator
begin_operator
move_right_left r53 r54
2
0 50
49 0
1
2
0 0 50 49
0 247 -1 0
0
end_operator
begin_operator
move_right_left r54 r55
2
0 51
50 0
1
2
0 0 51 50
0 248 -1 0
0
end_operator
begin_operator
move_right_left r55 r56
2
0 52
51 0
1
2
0 0 52 51
0 249 -1 0
0
end_operator
begin_operator
move_right_left r56 r57
2
0 53
52 0
1
2
0 0 53 52
0 250 -1 0
0
end_operator
begin_operator
move_right_left r57 r58
2
0 54
53 0
1
2
0 0 54 53
0 251 -1 0
0
end_operator
begin_operator
move_right_left r58 r59
2
0 55
54 0
1
2
0 0 55 54
0 252 -1 0
0
end_operator
begin_operator
move_right_left r59 r60
2
0 57
55 0
1
2
0 0 57 55
0 253 -1 0
0
end_operator
begin_operator
move_right_left r6 r7
2
0 67
56 0
1
2
0 0 67 56
0 254 -1 0
0
end_operator
begin_operator
move_right_left r60 r61
2
0 58
57 0
1
2
0 0 58 57
0 255 -1 0
0
end_operator
begin_operator
move_right_left r61 r62
2
0 59
58 0
1
2
0 0 59 58
0 256 -1 0
0
end_operator
begin_operator
move_right_left r62 r63
2
0 60
59 0
1
2
0 0 60 59
0 257 -1 0
0
end_operator
begin_operator
move_right_left r63 r64
2
0 61
60 0
1
2
0 0 61 60
0 258 -1 0
0
end_operator
begin_operator
move_right_left r64 r65
2
0 62
61 0
1
2
0 0 62 61
0 259 -1 0
0
end_operator
begin_operator
move_right_left r65 r66
2
0 63
62 0
1
2
0 0 63 62
0 260 -1 0
0
end_operator
begin_operator
move_right_left r66 r67
2
0 64
63 0
1
2
0 0 64 63
0 261 -1 0
0
end_operator
begin_operator
move_right_left r67 r68
2
0 65
64 0
1
2
0 0 65 64
0 262 -1 0
0
end_operator
begin_operator
move_right_left r68 r69
2
0 66
65 0
1
2
0 0 66 65
0 263 -1 0
0
end_operator
begin_operator
move_right_left r69 r70
2
0 68
66 0
1
2
0 0 68 66
0 264 -1 0
0
end_operator
begin_operator
move_right_left r7 r8
2
0 78
67 0
1
2
0 0 78 67
0 265 -1 0
0
end_operator
begin_operator
move_right_left r70 r71
2
0 69
68 0
1
2
0 0 69 68
0 266 -1 0
0
end_operator
begin_operator
move_right_left r71 r72
2
0 70
69 0
1
2
0 0 70 69
0 267 -1 0
0
end_operator
begin_operator
move_right_left r72 r73
2
0 71
70 0
1
2
0 0 71 70
0 268 -1 0
0
end_operator
begin_operator
move_right_left r73 r74
2
0 72
71 0
1
2
0 0 72 71
0 269 -1 0
0
end_operator
begin_operator
move_right_left r74 r75
2
0 73
72 0
1
2
0 0 73 72
0 270 -1 0
0
end_operator
begin_operator
move_right_left r75 r76
2
0 74
73 0
1
2
0 0 74 73
0 271 -1 0
0
end_operator
begin_operator
move_right_left r76 r77
2
0 75
74 0
1
2
0 0 75 74
0 272 -1 0
0
end_operator
begin_operator
move_right_left r77 r78
2
0 76
75 0
1
2
0 0 76 75
0 273 -1 0
0
end_operator
begin_operator
move_right_left r78 r79
2
0 77
76 0
1
2
0 0 77 76
0 274 -1 0
0
end_operator
begin_operator
move_right_left r79 r80
2
0 79
77 0
1
2
0 0 79 77
0 275 -1 0
0
end_operator
begin_operator
move_right_left r8 r9
2
0 89
78 0
1
2
0 0 89 78
0 276 -1 0
0
end_operator
begin_operator
move_right_left r80 r81
2
0 80
79 0
1
2
0 0 80 79
0 277 -1 0
0
end_operator
begin_operator
move_right_left r81 r82
2
0 81
80 0
1
2
0 0 81 80
0 278 -1 0
0
end_operator
begin_operator
move_right_left r82 r83
2
0 82
81 0
1
2
0 0 82 81
0 279 -1 0
0
end_operator
begin_operator
move_right_left r83 r84
2
0 83
82 0
1
2
0 0 83 82
0 280 -1 0
0
end_operator
begin_operator
move_right_left r84 r85
2
0 84
83 0
1
2
0 0 84 83
0 281 -1 0
0
end_operator
begin_operator
move_right_left r85 r86
2
0 85
84 0
1
2
0 0 85 84
0 282 -1 0
0
end_operator
begin_operator
move_right_left r86 r87
2
0 86
85 0
1
2
0 0 86 85
0 283 -1 0
0
end_operator
begin_operator
move_right_left r87 r88
2
0 87
86 0
1
2
0 0 87 86
0 284 -1 0
0
end_operator
begin_operator
move_right_left r88 r89
2
0 88
87 0
1
2
0 0 88 87
0 285 -1 0
0
end_operator
begin_operator
move_right_left r89 r90
2
0 90
88 0
1
2
0 0 90 88
0 286 -1 0
0
end_operator
begin_operator
move_right_left r9 r10
2
0 1
89 0
1
2
0 0 1 89
0 287 -1 0
0
end_operator
begin_operator
move_right_left r90 r91
2
0 91
90 0
1
2
0 0 91 90
0 288 -1 0
0
end_operator
begin_operator
move_right_left r91 r92
2
0 92
91 0
1
2
0 0 92 91
0 289 -1 0
0
end_operator
begin_operator
move_right_left r92 r93
2
0 93
92 0
1
2
0 0 93 92
0 290 -1 0
0
end_operator
begin_operator
move_right_left r93 r94
2
0 94
93 0
1
2
0 0 94 93
0 291 -1 0
0
end_operator
begin_operator
move_right_left r94 r95
2
0 95
94 0
1
2
0 0 95 94
0 292 -1 0
0
end_operator
begin_operator
move_right_left r95 r96
2
0 96
95 0
1
2
0 0 96 95
0 293 -1 0
0
end_operator
begin_operator
move_right_left r96 r97
2
0 97
96 0
1
2
0 0 97 96
0 294 -1 0
0
end_operator
begin_operator
move_right_left r97 r98
2
0 98
97 0
1
2
0 0 98 97
0 295 -1 0
0
end_operator
begin_operator
move_right_left r98 r99
2
0 99
98 0
1
2
0 0 99 98
0 296 -1 0
0
end_operator
begin_operator
move_right_left r99 r100
2
0 2
99 0
1
2
0 0 2 99
0 297 -1 0
0
end_operator
begin_operator
turn_light_on r1
2
0 0
100 0
2
2
0 1 -1 0
0 100 0 1
1
0 100 0 1
0
end_operator
begin_operator
turn_light_on r10
2
0 1
101 0
2
2
0 2 -1 0
0 101 0 1
1
0 101 0 1
0
end_operator
begin_operator
turn_light_on r11
2
0 3
102 0
2
2
0 3 -1 0
0 102 0 1
1
0 102 0 1
0
end_operator
begin_operator
turn_light_on r12
2
0 4
103 0
2
2
0 4 -1 0
0 103 0 1
1
0 103 0 1
0
end_operator
begin_operator
turn_light_on r13
2
0 5
104 0
2
2
0 5 -1 0
0 104 0 1
1
0 104 0 1
0
end_operator
begin_operator
turn_light_on r14
2
0 6
105 0
2
2
0 6 -1 0
0 105 0 1
1
0 105 0 1
0
end_operator
begin_operator
turn_light_on r15
2
0 7
106 0
2
2
0 7 -1 0
0 106 0 1
1
0 106 0 1
0
end_operator
begin_operator
turn_light_on r16
2
0 8
107 0
2
2
0 8 -1 0
0 107 0 1
1
0 107 0 1
0
end_operator
begin_operator
turn_light_on r17
2
0 9
108 0
2
2
0 9 -1 0
0 108 0 1
1
0 108 0 1
0
end_operator
begin_operator
turn_light_on r18
2
0 10
109 0
2
2
0 10 -1 0
0 109 0 1
1
0 109 0 1
0
end_operator
begin_operator
turn_light_on r19
2
0 11
110 0
2
2
0 11 -1 0
0 110 0 1
1
0 110 0 1
0
end_operator
begin_operator
turn_light_on r2
2
0 12
111 0
2
2
0 12 -1 0
0 111 0 1
1
0 111 0 1
0
end_operator
begin_operator
turn_light_on r20
2
0 13
112 0
2
2
0 13 -1 0
0 112 0 1
1
0 112 0 1
0
end_operator
begin_operator
turn_light_on r21
2
0 14
113 0
2
2
0 14 -1 0
0 113 0 1
1
0 113 0 1
0
end_operator
begin_operator
turn_light_on r22
2
0 15
114 0
2
2
0 15 -1 0
0 114 0 1
1
0 114 0 1
0
end_operator
begin_operator
turn_light_on r23
2
0 16
115 0
2
2
0 16 -1 0
0 115 0 1
1
0 115 0 1
0
end_operator
begin_operator
turn_light_on r24
2
0 17
116 0
2
2
0 17 -1 0
0 116 0 1
1
0 116 0 1
0
end_operator
begin_operator
turn_light_on r25
2
0 18
117 0
2
2
0 18 -1 0
0 117 0 1
1
0 117 0 1
0
end_operator
begin_operator
turn_light_on r26
2
0 19
118 0
2
2
0 19 -1 0
0 118 0 1
1
0 118 0 1
0
end_operator
begin_operator
turn_light_on r27
2
0 20
119 0
2
2
0 20 -1 0
0 119 0 1
1
0 119 0 1
0
end_operator
begin_operator
turn_light_on r28
2
0 21
120 0
2
2
0 21 -1 0
0 120 0 1
1
0 120 0 1
0
end_operator
begin_operator
turn_light_on r29
2
0 22
121 0
2
2
0 22 -1 0
0 121 0 1
1
0 121 0 1
0
end_operator
begin_operator
turn_light_on r3
2
0 23
122 0
2
2
0 23 -1 0
0 122 0 1
1
0 122 0 1
0
end_operator
begin_operator
turn_light_on r30
2
0 24
123 0
2
2
0 24 -1 0
0 123 0 1
1
0 123 0 1
0
end_operator
begin_operator
turn_light_on r31
2
0 25
124 0
2
2
0 25 -1 0
0 124 0 1
1
0 124 0 1
0
end_operator
begin_operator
turn_light_on r32
2
0 26
125 0
2
2
0 26 -1 0
0 125 0 1
1
0 125 0 1
0
end_operator
begin_operator
turn_light_on r33
2
0 27
126 0
2
2
0 27 -1 0
0 126 0 1
1
0 126 0 1
0
end_operator
begin_operator
turn_light_on r34
2
0 28
127 0
2
2
0 28 -1 0
0 127 0 1
1
0 127 0 1
0
end_operator
begin_operator
turn_light_on r35
2
0 29
128 0
2
2
0 29 -1 0
0 128 0 1
1
0 128 0 1
0
end_operator
begin_operator
turn_light_on r36
2
0 30
129 0
2
2
0 30 -1 0
0 129 0 1
1
0 129 0 1
0
end_operator
begin_operator
turn_light_on r37
2
0 31
130 0
2
2
0 31 -1 0
0 130 0 1
1
0 130 0 1
0
end_operator
begin_operator
turn_light_on r38
2
0 32
131 0
2
2
0 32 -1 0
0 131 0 1
1
0 131 0 1
0
end_operator
begin_operator
turn_light_on r39
2
0 33
132 0
2
2
0 33 -1 0
0 132 0 1
1
0 132 0 1
0
end_operator
begin_operator
turn_light_on r4
2
0 34
133 0
2
2
0 34 -1 0
0 133 0 1
1
0 133 0 1
0
end_operator
begin_operator
turn_light_on r40
2
0 35
134 0
2
2
0 35 -1 0
0 134 0 1
1
0 134 0 1
0
end_operator
begin_operator
turn_light_on r41
2
0 36
135 0
2
2
0 36 -1 0
0 135 0 1
1
0 135 0 1
0
end_operator
begin_operator
turn_light_on r42
2
0 37
136 0
2
2
0 37 -1 0
0 136 0 1
1
0 136 0 1
0
end_operator
begin_operator
turn_light_on r43
2
0 38
137 0
2
2
0 38 -1 0
0 137 0 1
1
0 137 0 1
0
end_operator
begin_operator
turn_light_on r44
2
0 39
138 0
2
2
0 39 -1 0
0 138 0 1
1
0 138 0 1
0
end_operator
begin_operator
turn_light_on r45
2
0 40
139 0
2
2
0 40 -1 0
0 139 0 1
1
0 139 0 1
0
end_operator
begin_operator
turn_light_on r46
2
0 41
140 0
2
2
0 41 -1 0
0 140 0 1
1
0 140 0 1
0
end_operator
begin_operator
turn_light_on r47
2
0 42
141 0
2
2
0 42 -1 0
0 141 0 1
1
0 141 0 1
0
end_operator
begin_operator
turn_light_on r48
2
0 43
142 0
2
2
0 43 -1 0
0 142 0 1
1
0 142 0 1
0
end_operator
begin_operator
turn_light_on r49
2
0 44
143 0
2
2
0 44 -1 0
0 143 0 1
1
0 143 0 1
0
end_operator
begin_operator
turn_light_on r5
2
0 45
144 0
2
2
0 45 -1 0
0 144 0 1
1
0 144 0 1
0
end_operator
begin_operator
turn_light_on r50
2
0 46
145 0
2
2
0 46 -1 0
0 145 0 1
1
0 145 0 1
0
end_operator
begin_operator
turn_light_on r51
2
0 47
146 0
2
2
0 47 -1 0
0 146 0 1
1
0 146 0 1
0
end_operator
begin_operator
turn_light_on r52
2
0 48
147 0
2
2
0 48 -1 0
0 147 0 1
1
0 147 0 1
0
end_operator
begin_operator
turn_light_on r53
2
0 49
148 0
2
2
0 49 -1 0
0 148 0 1
1
0 148 0 1
0
end_operator
begin_operator
turn_light_on r54
2
0 50
149 0
2
2
0 50 -1 0
0 149 0 1
1
0 149 0 1
0
end_operator
begin_operator
turn_light_on r55
2
0 51
150 0
2
2
0 51 -1 0
0 150 0 1
1
0 150 0 1
0
end_operator
begin_operator
turn_light_on r56
2
0 52
151 0
2
2
0 52 -1 0
0 151 0 1
1
0 151 0 1
0
end_operator
begin_operator
turn_light_on r57
2
0 53
152 0
2
2
0 53 -1 0
0 152 0 1
1
0 152 0 1
0
end_operator
begin_operator
turn_light_on r58
2
0 54
153 0
2
2
0 54 -1 0
0 153 0 1
1
0 153 0 1
0
end_operator
begin_operator
turn_light_on r59
2
0 55
154 0
2
2
0 55 -1 0
0 154 0 1
1
0 154 0 1
0
end_operator
begin_operator
turn_light_on r6
2
0 56
155 0
2
2
0 56 -1 0
0 155 0 1
1
0 155 0 1
0
end_operator
begin_operator
turn_light_on r60
2
0 57
156 0
2
2
0 57 -1 0
0 156 0 1
1
0 156 0 1
0
end_operator
begin_operator
turn_light_on r61
2
0 58
157 0
2
2
0 58 -1 0
0 157 0 1
1
0 157 0 1
0
end_operator
begin_operator
turn_light_on r62
2
0 59
158 0
2
2
0 59 -1 0
0 158 0 1
1
0 158 0 1
0
end_operator
begin_operator
turn_light_on r63
2
0 60
159 0
2
2
0 60 -1 0
0 159 0 1
1
0 159 0 1
0
end_operator
begin_operator
turn_light_on r64
2
0 61
160 0
2
2
0 61 -1 0
0 160 0 1
1
0 160 0 1
0
end_operator
begin_operator
turn_light_on r65
2
0 62
161 0
2
2
0 62 -1 0
0 161 0 1
1
0 161 0 1
0
end_operator
begin_operator
turn_light_on r66
2
0 63
162 0
2
2
0 63 -1 0
0 162 0 1
1
0 162 0 1
0
end_operator
begin_operator
turn_light_on r67
2
0 64
163 0
2
2
0 64 -1 0
0 163 0 1
1
0 163 0 1
0
end_operator
begin_operator
turn_light_on r68
2
0 65
164 0
2
2
0 65 -1 0
0 164 0 1
1
0 164 0 1
0
end_operator
begin_operator
turn_light_on r69
2
0 66
165 0
2
2
0 66 -1 0
0 165 0 1
1
0 165 0 1
0
end_operator
begin_operator
turn_light_on r7
2
0 67
166 0
2
2
0 67 -1 0
0 166 0 1
1
0 166 0 1
0
end_operator
begin_operator
turn_light_on r70
2
0 68
167 0
2
2
0 68 -1 0
0 167 0 1
1
0 167 0 1
0
end_operator
begin_operator
turn_light_on r71
2
0 69
168 0
2
2
0 69 -1 0
0 168 0 1
1
0 168 0 1
0
end_operator
begin_operator
turn_light_on r72
2
0 70
169 0
2
2
0 70 -1 0
0 169 0 1
1
0 169 0 1
0
end_operator
begin_operator
turn_light_on r73
2
0 71
170 0
2
2
0 71 -1 0
0 170 0 1
1
0 170 0 1
0
end_operator
begin_operator
turn_light_on r74
2
0 72
171 0
2
2
0 72 -1 0
0 171 0 1
1
0 171 0 1
0
end_operator
begin_operator
turn_light_on r75
2
0 73
172 0
2
2
0 73 -1 0
0 172 0 1
1
0 172 0 1
0
end_operator
begin_operator
turn_light_on r76
2
0 74
173 0
2
2
0 74 -1 0
0 173 0 1
1
0 173 0 1
0
end_operator
begin_operator
turn_light_on r77
2
0 75
174 0
2
2
0 75 -1 0
0 174 0 1
1
0 174 0 1
0
end_operator
begin_operator
turn_light_on r78
2
0 76
175 0
2
2
0 76 -1 0
0 175 0 1
1
0 175 0 1
0
end_operator
begin_operator
turn_light_on r79
2
0 77
176 0
2
2
0 77 -1 0
0 176 0 1
1
0 176 0 1
0
end_operator
begin_operator
turn_light_on r8
2
0 78
177 0
2
2
0 78 -1 0
0 177 0 1
1
0 177 0 1
0
end_operator
begin_operator
turn_light_on r80
2
0 79
178 0
2
2
0 79 -1 0
0 178 0 1
1
0 178 0 1
0
end_operator
begin_operator
turn_light_on r81
2
0 80
179 0
2
2
0 80 -1 0
0 179 0 1
1
0 179 0 1
0
end_operator
begin_operator
turn_light_on r82
2
0 81
180 0
2
2
0 81 -1 0
0 180 0 1
1
0 180 0 1
0
end_operator
begin_operator
turn_light_on r83
2
0 82
181 0
2
2
0 82 -1 0
0 181 0 1
1
0 181 0 1
0
end_operator
begin_operator
turn_light_on r84
2
0 83
182 0
2
2
0 83 -1 0
0 182 0 1
1
0 182 0 1
0
end_operator
begin_operator
turn_light_on r85
2
0 84
183 0
2
2
0 84 -1 0
0 183 0 1
1
0 183 0 1
0
end_operator
begin_operator
turn_light_on r86
2
0 85
184 0
2
2
0 85 -1 0
0 184 0 1
1
0 184 0 1
0
end_operator
begin_operator
turn_light_on r87
2
0 86
185 0
2
2
0 86 -1 0
0 185 0 1
1
0 185 0 1
0
end_operator
begin_operator
turn_light_on r88
2
0 87
186 0
2
2
0 87 -1 0
0 186 0 1
1
0 186 0 1
0
end_operator
begin_operator
turn_light_on r89
2
0 88
187 0
2
2
0 88 -1 0
0 187 0 1
1
0 187 0 1
0
end_operator
begin_operator
turn_light_on r9
2
0 89
188 0
2
2
0 89 -1 0
0 188 0 1
1
0 188 0 1
0
end_operator
begin_operator
turn_light_on r90
2
0 90
189 0
2
2
0 90 -1 0
0 189 0 1
1
0 189 0 1
0
end_operator
begin_operator
turn_light_on r91
2
0 91
190 0
2
2
0 91 -1 0
0 190 0 1
1
0 190 0 1
0
end_operator
begin_operator
turn_light_on r92
2
0 92
191 0
2
2
0 92 -1 0
0 191 0 1
1
0 191 0 1
0
end_operator
begin_operator
turn_light_on r93
2
0 93
192 0
2
2
0 93 -1 0
0 192 0 1
1
0 192 0 1
0
end_operator
begin_operator
turn_light_on r94
2
0 94
193 0
2
2
0 94 -1 0
0 193 0 1
1
0 193 0 1
0
end_operator
begin_operator
turn_light_on r95
2
0 95
194 0
2
2
0 95 -1 0
0 194 0 1
1
0 194 0 1
0
end_operator
begin_operator
turn_light_on r96
2
0 96
195 0
2
2
0 96 -1 0
0 195 0 1
1
0 195 0 1
0
end_operator
begin_operator
turn_light_on r97
2
0 97
196 0
2
2
0 97 -1 0
0 196 0 1
1
0 196 0 1
0
end_operator
begin_operator
turn_light_on r98
2
0 98
197 0
2
2
0 98 -1 0
0 197 0 1
1
0 197 0 1
0
end_operator
begin_operator
turn_light_on r99
2
0 99
198 0
2
2
0 99 -1 0
0 198 0 1
1
0 198 0 1
0
end_operator
begin_operator
unlock_door r1
2
0 0
100 1
1
1
0 1 -1 0
0
end_operator
begin_operator
unlock_door r10
2
0 1
101 1
1
1
0 2 -1 0
0
end_operator
begin_operator
unlock_door r11
2
0 3
102 1
1
1
0 3 -1 0
0
end_operator
begin_operator
unlock_door r12
2
0 4
103 1
1
1
0 4 -1 0
0
end_operator
begin_operator
unlock_door r13
2
0 5
104 1
1
1
0 5 -1 0
0
end_operator
begin_operator
unlock_door r14
2
0 6
105 1
1
1
0 6 -1 0
0
end_operator
begin_operator
unlock_door r15
2
0 7
106 1
1
1
0 7 -1 0
0
end_operator
begin_operator
unlock_door r16
2
0 8
107 1
1
1
0 8 -1 0
0
end_operator
begin_operator
unlock_door r17
2
0 9
108 1
1
1
0 9 -1 0
0
end_operator
begin_operator
unlock_door r18
2
0 10
109 1
1
1
0 10 -1 0
0
end_operator
begin_operator
unlock_door r19
2
0 11
110 1
1
1
0 11 -1 0
0
end_operator
begin_operator
unlock_door r2
2
0 12
111 1
1
1
0 12 -1 0
0
end_operator
begin_operator
unlock_door r20
2
0 13
112 1
1
1
0 13 -1 0
0
end_operator
begin_operator
unlock_door r21
2
0 14
113 1
1
1
0 14 -1 0
0
end_operator
begin_operator
unlock_door r22
2
0 15
114 1
1
1
0 15 -1 0
0
end_operator
begin_operator
unlock_door r23
2
0 16
115 1
1
1
0 16 -1 0
0
end_operator
begin_operator
unlock_door r24
2
0 17
116 1
1
1
0 17 -1 0
0
end_operator
begin_operator
unlock_door r25
2
0 18
117 1
1
1
0 18 -1 0
0
end_operator
begin_operator
unlock_door r26
2
0 19
118 1
1
1
0 19 -1 0
0
end_operator
begin_operator
unlock_door r27
2
0 20
119 1
1
1
0 20 -1 0
0
end_operator
begin_operator
unlock_door r28
2
0 21
120 1
1
1
0 21 -1 0
0
end_operator
begin_operator
unlock_door r29
2
0 22
121 1
1
1
0 22 -1 0
0
end_operator
begin_operator
unlock_door r3
2
0 23
122 1
1
1
0 23 -1 0
0
end_operator
begin_operator
unlock_door r30
2
0 24
123 1
1
1
0 24 -1 0
0
end_operator
begin_operator
unlock_door r31
2
0 25
124 1
1
1
0 25 -1 0
0
end_operator
begin_operator
unlock_door r32
2
0 26
125 1
1
1
0 26 -1 0
0
end_operator
begin_operator
unlock_door r33
2
0 27
126 1
1
1
0 27 -1 0
0
end_operator
begin_operator
unlock_door r34
2
0 28
127 1
1
1
0 28 -1 0
0
end_operator
begin_operator
unlock_door r35
2
0 29
128 1
1
1
0 29 -1 0
0
end_operator
begin_operator
unlock_door r36
2
0 30
129 1
1
1
0 30 -1 0
0
end_operator
begin_operator
unlock_door r37
2
0 31
130 1
1
1
0 31 -1 0
0
end_operator
begin_operator
unlock_door r38
2
0 32
131 1
1
1
0 32 -1 0
0
end_operator
begin_operator
unlock_door r39
2
0 33
132 1
1
1
0 33 -1 0
0
end_operator
begin_operator
unlock_door r4
2
0 34
133 1
1
1
0 34 -1 0
0
end_operator
begin_operator
unlock_door r40
2
0 35
134 1
1
1
0 35 -1 0
0
end_operator
begin_operator
unlock_door r41
2
0 36
135 1
1
1
0 36 -1 0
0
end_operator
begin_operator
unlock_door r42
2
0 37
136 1
1
1
0 37 -1 0
0
end_operator
begin_operator
unlock_door r43
2
0 38
137 1
1
1
0 38 -1 0
0
end_operator
begin_operator
unlock_door r44
2
0 39
138 1
1
1
0 39 -1 0
0
end_operator
begin_operator
unlock_door r45
2
0 40
139 1
1
1
0 40 -1 0
0
end_operator
begin_operator
unlock_door r46
2
0 41
140 1
1
1
0 41 -1 0
0
end_operator
begin_operator
unlock_door r47
2
0 42
141 1
1
1
0 42 -1 0
0
end_operator
begin_operator
unlock_door r48
2
0 43
142 1
1
1
0 43 -1 0
0
end_operator
begin_operator
unlock_door r49
2
0 44
143 1
1
1
0 44 -1 0
0
end_operator
begin_operator
unlock_door r5
2
0 45
144 1
1
1
0 45 -1 0
0
end_operator
begin_operator
unlock_door r50
2
0 46
145 1
1
1
0 46 -1 0
0
end_operator
begin_operator
unlock_door r51
2
0 47
146 1
1
1
0 47 -1 0
0
end_operator
begin_operator
unlock_door r52
2
0 48
147 1
1
1
0 48 -1 0
0
end_operator
begin_operator
unlock_door r53
2
0 49
148 1
1
1
0 49 -1 0
0
end_operator
begin_operator
unlock_door r54
2
0 50
149 1
1
1
0 50 -1 0
0
end_operator
begin_operator
unlock_door r55
2
0 51
150 1
1
1
0 51 -1 0
0
end_operator
begin_operator
unlock_door r56
2
0 52
151 1
1
1
0 52 -1 0
0
end_operator
begin_operator
unlock_door r57
2
0 53
152 1
1
1
0 53 -1 0
0
end_operator
begin_operator
unlock_door r58
2
0 54
153 1
1
1
0 54 -1 0
0
end_operator
begin_operator
unlock_door r59
2
0 55
154 1
1
1
0 55 -1 0
0
end_operator
begin_operator
unlock_door r6
2
0 56
155 1
1
1
0 56 -1 0
0
end_operator
begin_operator
unlock_door r60
2
0 57
156 1
1
1
0 57 -1 0
0
end_operator
begin_operator
unlock_door r61
2
0 58
157 1
1
1
0 58 -1 0
0
end_operator
begin_operator
unlock_door r62
2
0 59
158 1
1
1
0 59 -1 0
0
end_operator
begin_operator
unlock_door r63
2
0 60
159 1
1
1
0 60 -1 0
0
end_operator
begin_operator
unlock_door r64
2
0 61
160 1
1
1
0 61 -1 0
0
end_operator
begin_operator
unlock_door r65
2
0 62
161 1
1
1
0 62 -1 0
0
end_operator
begin_operator
unlock_door r66
2
0 63
162 1
1
1
0 63 -1 0
0
end_operator
begin_operator
unlock_door r67
2
0 64
163 1
1
1
0 64 -1 0
0
end_operator
begin_operator
unlock_door r68
2
0 65
164 1
1
1
0 65 -1 0
0
end_operator
begin_operator
unlock_door r69
2
0 66
165 1
1
1
0 66 -1 0
0
end_operator
begin_operator
unlock_door r7
2
0 67
166 1
1
1
0 67 -1 0
0
end_operator
begin_operator
unlock_door r70
2
0 68
167 1
1
1
0 68 -1 0
0
end_operator
begin_operator
unlock_door r71
2
0 69
168 1
1
1
0 69 -1 0
0
end_operator
begin_operator
unlock_door r72
2
0 70
169 1
1
1
0 70 -1 0
0
end_operator
begin_operator
unlock_door r73
2
0 71
170 1
1
1
0 71 -1 0
0
end_operator
begin_operator
unlock_door r74
2
0 72
171 1
1
1
0 72 -1 0
0
end_operator
begin_operator
unlock_door r75
2
0 73
172 1
1
1
0 73 -1 0
0
end_operator
begin_operator
unlock_door r76
2
0 74
173 1
1
1
0 74 -1 0
0
end_operator
begin_operator
unlock_door r77
2
0 75
174 1
1
1
0 75 -1 0
0
end_operator
begin_operator
unlock_door r78
2
0 76
175 1
1
1
0 76 -1 0
0
end_operator
begin_operator
unlock_door r79
2
0 77
176 1
1
1
0 77 -1 0
0
end_operator
begin_operator
unlock_door r8
2
0 78
177 1
1
1
0 78 -1 0
0
end_operator
begin_operator
unlock_door r80
2
0 79
178 1
1
1
0 79 -1 0
0
end_operator
begin_operator
unlock_door r81
2
0 80
179 1
1
1
0 80 -1 0
0
end_operator
begin_operator
unlock_door r82
2
0 81
180 1
1
1
0 81 -1 0
0
end_operator
begin_operator
unlock_door r83
2
0 82
181 1
1
1
0 82 -1 0
0
end_operator
begin_operator
unlock_door r84
2
0 83
182 1
1
1
0 83 -1 0
0
end_operator
begin_operator
unlock_door r85
2
0 84
183 1
1
1
0 84 -1 0
0
end_operator
begin_operator
unlock_door r86
2
0 85
184 1
1
1
0 85 -1 0
0
end_operator
begin_operator
unlock_door r87
2
0 86
185 1
1
1
0 86 -1 0
0
end_operator
begin_operator
unlock_door r88
2
0 87
186 1
1
1
0 87 -1 0
0
end_operator
begin_operator
unlock_door r89
2
0 88
187 1
1
1
0 88 -1 0
0
end_operator
begin_operator
unlock_door r9
2
0 89
188 1
1
1
0 89 -1 0
0
end_operator
begin_operator
unlock_door r90
2
0 90
189 1
1
1
0 90 -1 0
0
end_operator
begin_operator
unlock_door r91
2
0 91
190 1
1
1
0 91 -1 0
0
end_operator
begin_operator
unlock_door r92
2
0 92
191 1
1
1
0 92 -1 0
0
end_operator
begin_operator
unlock_door r93
2
0 93
192 1
1
1
0 93 -1 0
0
end_operator
begin_operator
unlock_door r94
2
0 94
193 1
1
1
0 94 -1 0
0
end_operator
begin_operator
unlock_door r95
2
0 95
194 1
1
1
0 95 -1 0
0
end_operator
begin_operator
unlock_door r96
2
0 96
195 1
1
1
0 96 -1 0
0
end_operator
begin_operator
unlock_door r97
2
0 97
196 1
1
1
0 97 -1 0
0
end_operator
begin_operator
unlock_door r98
2
0 98
197 1
1
1
0 98 -1 0
0
end_operator
begin_operator
unlock_door r99
2
0 99
198 1
1
1
0 99 -1 0
0
end_operator
0
